L’Office de l’harmonisation dans le marché intérieur (OHMI) devient l’Office de l’Union européenne pour la propriété intellectuelle (EUIPO)