Le Littré de la Grand’Côte/3e éd., 1903/Ragréer
RAGRÉER, v. a., terme de taille de pierre. — Ravaler une pierre en la raclant, raccorder les moulures, polir le parement. — Se rattache au franç. gréer, vieux haut allem. reitjan, préparer ; mais il se peut que l’idée de grès (polir en passant une pierre de grès) ait chassé l’idée primitive.