L'inventaire de [aDn]~v1t0 =) est privé.