Title: Notice biographique [of P.F.H. de Serre]