Correction d'un traduction du while