Stav dette: Saint Cyran, précurseur de Pascal :