errore visibile nel metodo di Gérard Huet

 Indice