@file{definitions.ly} dans le fichier @file{publication-web.ly}, et
modifions ce dernier. Puisque la musique est destinée à produire un
fichier PDF affiché sur écran, nous allons aussi augmenter la taille
@file{definitions.ly} dans le fichier @file{publication-web.ly}, et
modifions ce dernier. Puisque la musique est destinée à produire un
fichier PDF affiché sur écran, nous allons aussi augmenter la taille