Gravure musicale
Lorsque le symbole à imprimer est défini, il reste à décider où il sera placé pour obtenir un résultat agréable. Cet art est celui de la gravure musicale. Ce terme vient du procédé traditionnel de l'impression musicale. Il y a encore quelques décennies, les partitions étaient faites en taillant et ciselant la musique dans des plaques de zinc ou d'étain, en inverse, comme dans un miroir. Ces plaques étaient encrées et les reliefs créés par les poinçons et les découpes retenaient l'encre. La partition était alors réalisée en pressant le papier contre la plaque. Découpes et poinçons étaient entièrement faits à la main. Dans la mesure où les corrections étaient presque irréalisables, la gravure devait être correcte dès le premier essai. Cela demande évidemment une très grande habileté.
- La gravure musicale est un métier d'artisan, appris sur le tas. Un graveur ne devenait un maître accompli qu'après une dizaine d'années de pratique.
- La plupart des connaissances se transmet de maître à élève, par la pratique. De ce fait, peu de choses ont été écrites sur les règles d'une gravure de qualité.
- Enfin, la gravure est une question de choix de dimensions et de
noirceur des partitions.
La qualité du résultat final doit être jugée visuellement.
Il est quasiment impossible de la formaliser avec des règles strictes.
Suite : Encrer les écrans ? Les programmeurs s'attaquent aux problèmes de la gravure.