La part d’Henri Weil dans l’édition du De la musique attribué à Plutarque (Paris, E. Leroux, 1900)