Impôt sur le revenu : avant la hausse, combien paient déjà les plus riches ?