Claretie, Jules, 1840-1913, librettist