Correction avant merge, pour le bug du application.ini