7.2. Marques de commerce

Tous les autres noms de marques ou de produits sont des marques de commerce (déposées ou non) de leur compagnie respective.