Correction d'un bug de compilation