quantification chez Russell