Obsèques de Philippine : Près de trois mille personnes réunies à Versailles