In between Le roi malgré lui and Manon, which one was first performed at the Opéra-Comique in Paris on 19 January 1884?