merge trunk (from previous checkin: mise à jour du dictionnaire)