5 décembre 2011 @ 14h00 Définition des fonctions fτ,h et une application de la théorie des types Info 5