Bonjour,

Je pense qu'il voulait dire "123 456" au lieu de "123456" (avec les guillemets, donc). L'appel de la fonction int_of_string avec la première chaîne déclenche bien la levée d'une exception...