Antoine Arnauld et Hermant Godefroy EO 1668