Aller au contenu

Plénitude et vacuité de à : pour un schéma dérivationnel