Gérard de Vaucouleurs