[Les contributions de István Halmos]