Raffinement d'éléments propres approchés d'un opérateur compact. - Mario Paul Ahues Blanchait (1983)