Logiciels pour le calcul statique et la vérification des structures en panneaux CLT, stratifiés et sandwich