Philippe Pothier, biographie et bibliographie