No tenemos la biografía de Gaston Biraben.