Type bien formé pour les déclarations globales