Assertions existentielles

De MultiGram