Des géants de l'informatique forment une alliance de partage des brevets Linux