Formalisation de la feuille de style