Similaire à while, mais garantit au moins une exécution car la condition est vérifiée à la fin.