le roi est mort vive la république