supression ancien fichier portal-ext.properties