Un importante manual de lógica publicado anónimamente por primera vez en 1662 cuyos autores son Antoine Arnauld y Pierre Nicole, dos prominentes miembros del movimiento jansenista, desarrollado alrededor de Port-Royal.