errore visibile nel metodo di Gérard Huet