Modification fin.ml

Modification de fin pour coller un peu plus à l'énoncé de TP