Arnauld, Agnes, active 1636-1694, Abbess of St Cyr