Pierre Gassendi, 1592-1655 : sa vie et son oeuvre. (A. Michel, 1955)