Vous dérivez un type simple ou un type complexe par restriction lorsque vous souhaitez limiter les valeurs de leur type de base.