Horreur ! J'avais un misérable print_newline () au lieu d'écrire "\n" dans le flux !