From français-Deutsch FreeDict+WikDict dictionary ver. 2022.11.18: graver /ɡʁa.ve/ <v> gravieren Tracer
graver /ɡʁa.ve/ <v> gravieren Tracer