Vu sur wikipedia “Rue des Gravilliers” :
Déjà citée en 1250 - elle était alors située hors de la ville - la rue des Gravilliers est l’une des vieilles rues de Paris. Située à l’ouest du quartier du Marais à Paris, la rue des Gravilliers (IIIe arrondissement), tire son nom d’ouvriers qui préparaient la cendre gravelée en incinérant des lies de vinaigre ; ils s’appelaient des graveliers. On a aussi attribué ce nom à Jean Gravelier, un boucher, ou à Gilbert Le Gravelier qui l’habitaient du temps de Louis IX.
