Quantifier, c’est déjà décider

https://si2d.hypotheses.org/1024