Raidisseur

vient du mot du Moyen-Age ROIDIR.

Procédé permettant de raidir une paroi mince.