Dans la philosophie de Hintikka (e.g. Hintikka (1973), Hintikka (2007)) la notion d'analyticité occupe une placeparticulì ere ; plus précisément, le philosophe finnois distingue deux notions d'analyticité : l'une qui est basée sur la notion d'information, l'autre sur la notion de preuve. Alors que ces deux notions ontétéont´ontété largement utilisées pourétudierpour´pourétudier la logique proposi-tionnelle et la logique du premier ordre, aucun travail a ´ eté développé pour la logique modale. Cet article se propose de combler cette lacune et ainsi d'examiner l'analyticité des validités de la logique modale. Abstract In Hintikka's philosophy (e.g. Hintikka (1973), Hintikka (2007)) the notion of analyticity occupies a special place; in particular, the Finnish thinker distinguishes two notions of analyticity: one which is based on the concept of information, the other on the concept of proof. While these two notions have been broadly used to analyze propositional logic and first-order logic, no work has been done in modal propositional logic. This paper aims at filling this gap and thus studying the analyticity of the validities of modal logic.