Le choeur de la cathédrale Saint-Louis de Versailles, dans les années 1950