Génération automatisée des systèmes d'exploitations.