INGRES (M.). -- M. le Président annonce son décès, t. 1, p. 34.