Types pour la vérification de l’aluminium