Petite modification au niveau de l'indentation de result.ml