Implémentation des extensions nécessaires.

Description

Implémenter Lazi.1 et les extensions nécessaire pour la varification des types.

Sous-tâches

• Adaptation pour ces extensions | À faire | 2018