type d'OS