11.  Glossary

Repair

Operation to restore a damaged element or structure.

Catering

Operation to restore a structure to its original state, before putting it into service.

Reinforcement

All the work required to prepare a structure for more intensive use, taking into account mechanical, thermal or chemical stresses. Each of these stresses may be permanent or non-permanent, short- or long-term, static or dynamic.