Qu'est-il arrivé au roi des dauphins ?