Dynamic models allowing checking of mechanical operation (hinged doors, mechanisms, progressive forming of components…)