Petit Larousse : dictionnaire encyclopedique pour tous (Paris : Larousse, 1962)