Solutions of exercices - Inria

Page 3. Exercice 1.7 Pour typer 1 2, il faudrait pouvoir attribuer `a 1 un type fl`eche ?1 ? ?2, ce qui est bien sûr impossible car 1 a le type int dans ...