GRAVER, verbe trans. A. − Tracer des traits ou des figures sur une surface dure avec un instrument tranchant. Graver des caractères, un nom; bois, pointe à graver. Au moyen-âge on devait graver le signe de la croix sur la première pierre des églises (Lenoir, Archit. monast. ,1852, p. 42). Nous trouverons sûrement dans les décombres beaucou...