No tenemos la biografía de Gaston Diehl.