Correction d'un bug de compilation sous linux