Révisions de logique aristotélicienne. Quantificateur universel.