(si vous voulez le détail: j'ai un certain problème avec les piques parfois condescendantes de RMS envers Linux et/ou Linus Torvalds)