Musiklexikon: Was bedeutet Petits violons du Roi?