OF suffixe

Un sous-ensemble d'un autre OF.