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