Correction d'un bug de désynchronisation de la sortie standard