Romanin, l'autre Jean Moulin