text_processed: toutefois si l'office européen des brevets suit ses règles habituelles en matière d'opposition il est probable qu'une modification du brevet n'interviendra pas avant décembre et qu'il faudra peutêtre même attendre plus longtemps que cela