gravelet

== Français == === Étymologie === Étymologie manquante ou incomplète. Si vous la connaissez, vous pouvez l’ajouter en cliquant ici. === Nom commun === gravelet \ɡʁa.vlɛ\ masculin (Ornithologie) Un des noms vulgaires du grimpereau, notamment en Poitou. (Ichtyologie) Un des noms vernaculaires de la vandoise. Petit burin de sculpteur généralement utilisé pour les pierres dures. === Références === Tout ou partie de cet article est extrait du Dictionnaire de la langue française, par Émile Littré (1872-1877), mais l’article a pu être modifié depuis. (gravelet) Inspiré du Dictionnaire encyclopédique Quillet, Paris, 1934.