Il est assez délicieux de constater qu’un prénom païen, référence directe au dieu de la guerre Romain : Mars, ait été porté par quelqu’un autour duquel on a bâti plusieurs légendes. Il devait falloir au moins cela pour faire oublier le côté militaire non pas de l’homme mais de son nom ! Il y a de ces ironies parfois…