En fait, GNU est aussi enregistré, donc on peut mettre GNU®/Linux® tout simplement.