Casting de Aladin ou la lampe merveilleuse