Jean-Baptiste Mayenson, biographie et bibliographie