Nous proposons une représentation des éléments de gravure musicale ayant trait au rythme – figures de notes, tuplets, ligatures, etc. – sous la forme d’arbres. Cette modélisation permet de lever les ambiguités et redondances contenues dans les différents encodages de partitions numériques, qui sont des sources d’incohérences majeures.Le modèle est développé théoriquement, puis nous présentons son intégration dans des procédures de vérification d’encodages. Il est également montré que l’on peut l’utiliser pour des tâches de génération de partitions.