Correction du commit précédent concernant la modification du type de la
map. La clé et la valeur sont des entiers.