Verification of the LIRA-FEM software

Verification of the LIRA-FEM software / Static and dynamic problems with one-sided constraints