Histoire de St-Germain-des-Prés, abbaye royale — François Ribadeau Dumas