RASER, DEMOLIR, syn. (Grammaire) Ces mots désignent en général la destruction d'un ou de plusieurs édifices. Voici les nuances qui les distinguent. Démolir signifie simplement détruire : raser et démanteler signifient détruire par punition ; et démanteler ajoute une idée de force à ce qu'on a détruit. Un particulier fait démolir sa maison : le parlement a fait raser la maison de Jean Chatel : un général fait démanteler une place après l'avoir prise, c'est-à-dire en fait détruire les fortifications. Ce dernier mot n'est plus guère en usage ; on dit plus communément raser ou démolir les fortifications d'une place, que la démanteler. Raser se dit lorsqu'on n'emploie point le secours du feu pour détruire ces fortifications ; démolir, lorsqu'on emploie le secours du feu par le moyen des mines : on dit alors, pour l'ordinaire, qu'on a fait sauter les fortifications. (O)