Le "Double Grace Note", appellation qui me semble la plus proche de l'idée de cette ornementation, est aussi appelé "Double Cut". En effet les deux petites notes d'ornementation ne sont pas jouées dans le même coup d'archet que la note qui les précède...

La grace note est un autre moyen d'enrichir la mélodie en accentuant une note. Dans les jigs, la grace note est placée sur la première croche d'un temps (qui en contient trois). Elle est jouée dans le même coup d'archet que la note ornementée. Lesson...