fonction primitive récursive