portrait de Halmos