Récursivité graphique (1e partie) : catégorie des fonctions récursives primitives formelles Albert Burroni (1986) Cahiers de Topologie et Géométrie Différentielle Catégoriques