Logique

Corrolaire