Title: Pascal and libertinism