Légère réécriture des specs de Case et Taquin_UI