Les ouvrages de HALMOS Claude