You might also know this place by the following names:
Monastery of Saint-Pancratius (ancient benedictine monastery))