¿Quién pintó los decorados de "El sombrero de tres picos" para su estreno en París?