La Robe rouge portée par les maires de Nantes au XVIIe siècle — Louis Petit