J . P . Revel , professor.