Orchestra del Teatro Massimo, Pierre Dervaux