La plage de la partie dérivée n'est pas une restriction valide de la plage de la partie de base, selon All:All,Sequence:Sequence ...