URL: https://linuxfr.org/users/bubar/journaux/vous-ne-pouvez-pas-breveter-les-mathematiques Title: «Vous ne pouvez pas breveter les mathématiques» Authors: bubar🦥 Date: 2013年03月30日T10:25:17+01:00 License: CC By-SA Tags: brevets, rackspace et red_hat Score: 28 Le "patent troll" Uniloc a attaqué RackSpace pour son usage de GNU/Linux sur ses serveurs. Un "patent troll", pour mémoire, est un organisme amassant des brevets et s'en servant en justice afin d'obtenir de l'argent. [Uniloc](http://fr.wikipedia.org/wiki/Uniloc "Définition Wikipédia") était déjà connu pour avoir attaqué MineCraft pour sa "pocket edition", mais aussi Microsoft. [La plainte](http://www.scribd.com/doc/132846669/Uniloc-Complaint) n'est donc pas la première du genre : Uniloc attaque RackSpace pour son usage de gnu/linux au prétexte (sic) que ce dernier utilise des méthodes de calculs en virgules flottantes, et que Uniloc possède un brevet dessus (sic) :> A method for processing floating-point numbers, each floating-point number having at least a sign portion, an exponent portion and a mantissa portion, comprising the steps of: converting a floating-point number memory register representation to a floating-point register representation; rounding the converted floating-point number; performing an arithmetic computation upon said rounded number resulting in a new floating-point value; and converting the resulting new floating-point register value to a floating-point memory register representation. Que l'on peut résumer (peut être) par «contenant au moins une partie de signe, une partie d'exposant et une partie mantisse, stocké dans un registre, et faire des calculs avec, en résultant une représentation d'une nouvelle valeur, un nouvel arrondi» WOW. Ce qui rends [la décision](http://www.scribd.com/doc/132846804/Uniloc-Dismiss) de la Cour de Justice du Texas plus intéressante qu'à l'accoutumée sur sa décision rejetant la requête d'Uniloc, c'est la formulation employé dans le jugement, qui semble suffisamment large et précise pour être ré-employée : «l'usage de l'arrondi dans ce "brevet" se fait avant, et non après, les calculs" (pour rappel, les USA considèrent que seules certaines méthodes mathématiques complexes peuvent faire l'objet de brevets) A noter que RackSpace étant un client de Redhat, il bénéfice du «Open Source Assurance program». Redhat a donc été aux côtés de RackSpace pour aider à sa défense contre Uniloc. A noter enfin que cette décision avait un précédent : en 1979, ["l'affaire Parker Flook" "](http://en.wikipedia.org/wiki/Parker_v._Flook) avait eu comme conclusion la protection des mathématiques contre la brevetabilité. Décision aujourd'hui reprise par le Juge Davis. Un bel exemple de ce que les "brevets" informatiques (sic, que j'ai du mal à employer le terme de brevet pour désigner ces trucs là) aux USA sont de la mauvaise science-fiction pour nous autres européens. **ce brevet est rejeté, mais la question du comment a t il pu être accepté reste posée...** - [IEE 754](http://fr.wikipedia.org/wiki/IEEE_754) Normalisation de l'usage des nombres à virgules flottantes. - [Uniloc](www.uniloc.com) Le site du troll. - [RackSpace](http://www.rackspace.com/blog/mathematics-cannot-be-patented-case-dismissed/) La réaction officielle. - [Programme d'assistance juridique](http://fr.redhat.com/support/subscription-benefits/open-assurance-faq/) de Redhat.