André Chervel, biographie et bibliographie