Fonctions recursives - Grzegorczyk, Andrzej 1922-2014 (Gauthier-Villars, 1961)