====== Raidisseur ======
vient du mot du Moyen-Age ROIDIR.

Procédé permettant de raidir une paroi mince.