B . de Brun.