Il n'y a qu'un Linux

Et plusieurs GNU/Linux