The lost church dedicated to Saint Gervais