Légère optimisation de dico.adb