Manejador de Mapa mis à jour :o)

Manejador de Mapa, qui permet de gérer les données GPS au format .mp, passe à la version 1.37 :o)