Differences

This shows you the differences between two versions of the page.

--- teaching:infoh304 [2017/09/19 16:15]
jroland [Machine virtuelle pour le cours INFOH304]
+++ teaching:infoh304 [2020/09/10 18:59]
jroland [Machine virtuelle pour le cours INFOH304]
@@ Line 1: / Line 1: @@
 ====== Cours théoriques ======
   * Slides cours 1: {{:teaching:cours-1-handout.pdf|PDF}}
@@ Line 5: / Line 7: @@
 ====== Machine virtuelle pour le cours INFOH304======
 <html>
+<p>Instructions pour installer la machine virtuelle du cours.</p>
+<p>Si vous possédez un ordinateur portable, il est fortement recommandé de suivre ces instructions, et d'emporter votre ordinateur dès le premier cours théorique&nbsp;!</p>
 <h1>Qu'est-ce qu'une machine virtuelle?</h1>
 <p>Une machine virtuelle est une simulation (ou plus exactement une émulation) d'un ordinateur par un autre ordinateur. En installant par exemple Linux sur une machine virtuelle émulée par votre ordinateur Windows, vous pourrez alors accéder à un système Linux dans une fenêtre du système Windows. Dans ce cas, la machine virtuelle Linux est appelée "invitée" (guest), et la machine réelle Windows "hôte" (host).</p>
 <h1>Pourquoi une machine virtuelle?</h1>
 <p>Une fois installée sur votre ordinateur, vous pourrez utiliser la machine virtuelle:</p>
@@ Line 14: / Line 21: @@
 <li>à la maison: pour réviser les exercices et éventuellement préparer votre projet</li>
 </ul>
 <p>L'avantage d'une machine virtuelle est que quel que soit le système installé sur votre ordinateur, vous vous retrouverez tous avec la même configuration, ce qui facilite le support technique.</p>
-<p>Un désavantage est que cela occupe de l'espace disque et peut ralentir l'ordinateur vu qu'il doit exécuter deux systèmes d'exploitation en même temps. La machine virtuelle a été conçue pour rester légère et donc fonctionnelle sur tout ordinateur qui ne soit pas trop ancien, mais si vous préférez néanmoins vous en passer, vous trouverez des instructions pour installer le compilateur gcc directement sur votre ordinateur.</p>
+<p>Un désavantage est que cela occupe de l'espace disque et peut ralentir l'ordinateur vu qu'il doit exécuter deux systèmes d'exploitation en même temps. La machine virtuelle a été conçue pour rester légère et donc fonctionnelle sur tout ordinateur qui ne soit pas trop ancien, mais si vous préférez néanmoins vous en passer, vous trouverez des instructions pour installer le compilateur gcc directement sur votre ordinateur en bas de cette page.</p>
 <h1>Installation de la machine virtuelle</h1>
 <ol>
 <li>Assurez-vous d'avoir au moins 10Go de libre sur votre disque dur
 </li>
-<li>Téléchargez et installez l'outil de virtualisation <a href="https://www.virtualbox.org/wiki/Download_Old_Builds_5_0" target="_blank">VirtualBox</a>, <b>version 5.0.16</b>
+<li>Téléchargez et installez l'outil de virtualisation <a href="https://www.virtualbox.org" target="_blank">VirtualBox</a>, ainsi que le VirtualBox Extension Pack disponible à la même adresse:<ul>
-<ul>
+<li><a href="https://www.virtualbox.org/wiki/Downloads" target="_blank">VirtualBox</a>&nbsp;(Windows/Mac/Linux)</li>
-<li><a href="http://download.virtualbox.org/virtualbox/5.0.16/VirtualBox-5.0.16-105871-Win.exe">VirtualBox 5.0.16 pour Windows</a></li>
+<li>Remarque: La machine virtuelle est configurée pour la version 6.1.14, si vous installez une version différente vous devrez réinstaller les "Additions Invité" (voir plus bas) pour profiter de toutes les fonctionnalités</li>
-<li><a href="http://download.virtualbox.org/virtualbox/5.0.16/VirtualBox-5.0.16-105871-OSX.dmg">VirtualBox 5.0.16 pour Mac OS</a></li>
-<li>Remarque: les versions plus récentes sont déconseillées car elles ne supportent pas certaines fonctions d'intégration entre l'hôte et l'invité, comme le "glisser-déposer" de fichiers</li>
 </ul>
 </li>
-<li>Téléchargez et installez un client Bittorrent, par exemple:
+<li>Téléchargez l'image de la machine virtuelle
 <ul>
-<li><a href="http://dev.deluge-torrent.org/wiki/Download" target="_blank">Deluge</a>&nbsp;(Windows/Mac/Linux)</li>
+<li><a href="https://universitelibrebruxelles-my.sharepoint.com/:u:/g/personal/jeremie_roland_ulb_ac_be/EX6H4h4n_xhOnvCVG_qpnd0BGqesLMIwc59-M4exnWG_fA?e=0WlenG" target="_blank">padi-vm.ova</a> ou <a href="http://quic.ulb.ac.be/_media/teaching/infoh304/padi-vm.ova" target="_blank">padi-vm.ova (lien alternatif)</a></li>
 </ul>
 </li>
-<li>Téléchargez le fichier torrent
+<li>Double-cliquez sur le fichier "padi-vm.ova" pour l'ouvrir avec VirtualBox</li>
-<ul>
-<li><a href="http://cs.ulb.ac.be/files/padi-vm.torrent" target="_blank">padi-vm.torrent</a></li>
-</ul>
-</li>
-<li>Ouvrez ce fichier avec votre client Bittorrent, et attendez la fin du téléchargement
-<ul>
-<li>en cas de problème avec Bittorrent, voici un lien de téléchargement direct:&nbsp;<a href="http://cs.ulb.ac.be/files/padi-vm.ova">padi-vm.ova</a></li>
-</ul>
-</li>
-<li>Double-cliquez sur le fichier téléchargé (nommé "padi-vm.ova") pour l'ouvrir avec VirtualBox</li>
 <li>Cliquez sur "Importer" et attendez quelques minutes que l'importation se termine</li>
 <li>Dans la fenêtre "Oracle VM VirtualBox", cliquez sur "Démarrer" pour faire démarrer votre nouvelle machine virtuelle (nommée "padi-vm").</li><li>Si la machine virtuelle vous demande un mot de passe pour vous connecter, les identifiants sont les suivants:</li></ol><ul><ul><li>Nom d'utilisateur: student</li><li>Mot de passe: ulb</li></ul></ul><ol>
 </ol>
 <p>Vous pouvez maintenant supprimer le fichier "padi-vm.ova" si vous désirez récupérer 2Go d'espace disque.</p>
 <h1>Problèmes fréquents</h1>
-<ol>
-<li>Si vous avez des problèmes avec la version 5.0.16 de VirtualBox, vous pouvez essayer d'installer la dernière version: <a href="https://www.virtualbox.org/wiki/Downloads" target="_blank">Télécharger VirtualBox</a>. Attention, vous perdrez certaines options d'intégration entre la machine hôte et la machine invité (dossiers partagés, copier-coller de texte et glisser-déposer de fichiers d'une machine à l'autre). Pour les récupérer au moins partiellement, suivez les instructions suivantes
+<h2>J'obtiens une erreur quand j'essaye d'installer la machine virtuelle ou de la lancer</h2>
+<ul><li>Vérifiez que vous avez bien installé le VirtualBox Extension Pack disponible à la même adresse que le programme lui-même:<br></li><ul><li><a href="https://www.virtualbox.org/wiki/Downloads" target="_blank">VirtualBox</a>&nbsp;(Windows/Mac/Linux)</li><li>Une fois le fichier téléchargé&nbsp;(extension .vbox-extpack), il suffit de double-cliquer dessus pour l'installer dans VirtualBox.</li></ul><li>Vérifiez qu'il n'y a pas une option "Virtualization" de désactivée dans le BIOS de votre ordinateur. Pour accéder au BIOS:</li><ul><li>&nbsp;Redémarrer l'ordinateur et appuyer sur la touche indiquée à l'écran dès qu'il s'allume (souvent F2, F10 ou "suppr")</li><li>Sous Windows 10, vous pouvez également accéder au BIOS via "Démarrer → Paramètres → Mises à jour et sécurité → Récupération" en cliquant sur le bouton "Redémarrer maintenant" dans la section "Démarrage avancé"</li></ul><li>Si vous utilisez MacOS (en particulier à partir de la version 10.13 High Sierra) et que vous obtenez un message indiquant "Kernel driver not installed (rc=-1908)"</li><ul><li>Ouvrez les "Préférences Système" (icône engrenage), puis "Sécurité et confidentialité"<br></li><li>Sous l'onglet "Général", il devrait y avoir un message indiquant qu'un logiciel développé par Oracle America, Inc a été bloqué: cliquez sur "Autoriser"</li><li>Relancez la machine virtuelle depuis VirtualBox</li><li>Attention: le message en question n'apparaît que pendant 30 minutes après la première apparition de cette erreur. Si le message n'apparaît plus, veuillez redémarrer votre machine et réessayer.</li></ul></ul>
+<h2>La machine virtuelle me demande un identifiant et un mot de passe</h2>
+<p>Utilisez l'identifiant suivant:</p>
+<ul>
+<li>Identifiant: student</li>
+<li>Mot de passe: ulb</li>
+</ul>
+<h2>Installation des "Additions Invité"</h2>
+<p>La machine virtuelle a été configurée pour la dernière version de VirtualBox disponible au début de l'année académique, soit la version 6.1.14. Si vous installez une version différente (ou mettez à jour VirtualBox suite à la parution d'une nouvelle version), vous perdrez certaines options d'intégration entre la machine hôte et la machine invitée (dossiers partagés, copier-coller de texte et glisser-déposer de fichiers d'une machine à l'autre). Pour les récupérer, suivez les instructions suivantes:</p>
 <ul>
 <li>Dans la barre d'outils de VirtualBox, cliquez sur "Périphériques" puis "Insérer l'image CD des Additions Invité"</li>
 <li>Via la fenêtre qui s'ouvre dans la machine virtuelle, autorisez l'exécution automatique en cliquant sur "Valider" puis "Lancer"</li>
 <li>Entrez le mot de passe "ulb"</li>
-<li>Attendez la fin de l'installation et redémarrez la machine virtuelle</li>
+<li>Attendez la fin de l'installation et redémarrez la machine virtuelle</li></ul>
-</ul></li>
-<li>Si la machine virtuelle vous demande un mot de passe pour vous connecter, les identifiants sont les suivants:</li>
+<h2>J'ai pu installer VirtualBox mais la machine virtuelle plante ou ralentit fortement l'ordinateur</h2>
-<ul>
+<p>Ces symptômes peuvent survenir si votre ordinateur est relativement ancien et donc pas assez puissant pour faire tourner la machine virtuelle en plus du système d'exploitation de la machine hôte.</p>
-<li>Nom d'utilisateur: student</li>
+<p>La machine virtuelle utilise 1Go de RAM. Mac OS et Windows demandent au moins 2Go de RAM pour tourner raisonnablement (voire plus pour les dernières versions), donc globalement votre ordinateur devrait disposer d'au moins 3Go pour faire tourner la machine virtuelle en plus du système d'exploitation de la machine hôte (2Go pourraient suffire mais cela risque de provoquer de forts ralentissements, voire des plantages).</p>
-<li>Mot de passe: ulb</li>
-</ul>
+<p>Si vous êtes dans ce cas, une solution est de ne pas utiliser VirtualBox mais plutôt d'installer gcc directement dans votre système d'exploitation hôte. Vous trouverez des instructions à cet effet à la fin de cette page.</p>
-<li>Pour transférer les fichiers du cours vers la machine virtuelle, vous avez différentes options</li>
+<h2>Je ne sais pas comment transférer des fichiers vers la machine virtuelle</h2>
+Il y a différentes options:
 <ul>
 <li>Le plus simple est d'ouvrir une fenêtre Firefox dans la machine virtuelle pour accéder à l'université virtuelle (des signets ont déjà été créés) et télécharger directement les fichiers dans la machine virtuelle</li>
-<li>Vous pouvez effectuer un "glisser-déposer" d'un fichier depuis une fenêtre de la machine hôte vers une fenêtre de la machine invitée (attention: cette fonction n'est pas bien supportée dans les dernières version de VirtualBox)</li>
+<li>Vous pouvez effectuer un "glisser-déposer" d'un fichier depuis une fenêtre de la machine hôte vers une fenêtre de la machine invitée. Attention: suite à un bug il se peut que les fichiers ne se retrouvent pas à l'endroit où vous les avez déposés mais dans le dossier "/tmp/VirtualBox Dropped Files".</li>
 <li>Vous pouvez créer un dossier partagé pour accéder directement à un dossier de la machine hôte depuis la machine invitée (voir ci-dessous)</li>
 </ul>
-</ol>
-<h1>Accès aux fichiers de la machine hôte</h1>
+<h2>Mon clavier n'est pas bien configuré</h2>
+<p>Par défaut, la machine est configurée pour un clavier AZERTY belge. Si votre clavier a une agencement différent des touches, vous pouvez le reconfigurer de la manière suivante:</p>
+<ul>
+<li>Cliquez sur menu en bas à gauche, puis "Paramètres système - Centre de contrôle" (troisième icône du menu à gauche en partant du haut), puis "Clavier" (dans le menu "Matériel"</li>
+<li>Dans l'onglet "Agencements", cliquez sur le "+", sélectionnez l'agencement correspondant à votre clavier et cliquez sur "Ajouter"</li>
+<li>En cliquant en bas à droite de l'écran (à côté de l'heure) sur "be", vous pouvez passer d'un agencement à l'autre</li>
+<li>Si le nouvel agencement est correct, vous pouvez supprimer l'agencement "Belge" pour éviter qu'il ne soit sélectionné</li>
+</ul>
+Clavier Mac:
+<ul>
+<li>Certains caractères ne sont pas présents sur un clavier AZERTY Mac, comme les accolades</li>
+<li>Vous pouvez les taper en combinant la touche "alt-option" de droite avec d'autres touches, par exemple "alt-ç" pour "{" (voir <a href="https://fr.wikipedia.org/wiki/AZERTY#/media/File:Belgian_pc_keyboard.svg" target="_blank">ici</a> pour tous les caractères disponibles)
+</li></ul>
+<h1>Divers</h1>
+<h2>Accès aux fichiers de la machine hôte</h2>
 <ol>
 <li>Dans la fenêtre "Oracle VM VirtualBox", cliquez sur "Configuration", puis "Dossiers partagés"</li>
 <li>Cliquez sur l'icône "+" à droite</li>
 <li>Dans "Chemin du dossier", choisissez le dossier de la machine hôte que vous voulez partager avec la machine virtuelle</li>
-<li>Dans "Nom du dossier", tapez "share"</li>
+<li>Cochez les options "Montage automatique" et "Configuration permanente"</li>
-<li>Cochez l'option "Configuration permanente" (ne cochez pas "Montage automatique")</li>
 <li>Cliquez sur "OK", puis encore "OK"</li>
 </ol>
-<p>Le lien "Dossier Partagé" sur le bureau de la machine virtuelle vous donne alors accès au dossier de la machine hôte.</p>
+<p>Au prochain démarrage de la machine virtuelle, votre dossier partagé sera disponible au chemin "/media/sf_nom_du_dossier" (un lien apparaîtra sur le bureau de la machine virtuelle). Notez que vous pouvez créer plusieurs dossiers partagés via cette méthode.</p>
-<h1>Accès aux fichiers de votre compte ULB</h1>
-<h2>Méthode automatique</h2>
+<h2>Accès aux fichiers de votre compte ULB</h2>
+<h4>Méthode automatique</h4>
 <p>Cette méthode vous reconnecte automatiquement au serveur de fichiers de l'ULB à chaque démarrage de la machine virtuelle.</p>
 <ol>
@@ Line 86: / Line 113: @@
 <li>Entrez votre mot de passe</li>
 </ol>
-<p>Le lien "Dossier ULB" créé sur le bureau vous donne alors accès aux fichiers de votre compte ULB.</p>
+<p>Le lien "Dossier ULB" créé sur le bureau vous donne alors accès aux fichiers de votre compte ULB (en pratique, celui-ci correspond au chemin "/media/ULB/votre_login_ulb")</p>
 <p>Pour changer de compte ULB (en cas de partage de votre machine virtuelle avec un autre étudiant), il suffit de répéter la procédure avec un autre nom d'utilisateur.</p>
 <p>Attention: Pour configurer et utiliser l'accès à votre compte ULB, votre ordinateur doit bien-sûr être connecté à internet.</p>
-<h2>Méthode manuelle</h2>
+<h4>Méthode manuelle</h4>
 <p>En cas de modification de la configuration du serveur de fichiers de l'ULB, il se peut que la méthode automatique ne fonctionne plus. Dans ce cas, vous pouvez utiliser la méthode manuelle suivante (il faudra réitérer ces étapes à chaque démarrage de la machine virtuelle).</p>
 <ol>
@@ Line 103: / Line 130: @@
 </li>
 </ol>
-<h1>Notes</h1>
 <h2>Eteindre la machine virtuelle</h2>
 <p>Pour éteindre la machine virtuelle, vous pouvez soit:</p>
@@ Line 113: / Line 140: @@
 <h2>Intégration entre la machine hôte et la machine virtuelle</h2>
 <ul>
-<li>Vous pouvez transférer des fichiers de la machine hôte vers la machine virtuelle en faisant un "glisser-déposer" avec la souris d'une fenêtre vers l'autre (comme vous le feriez entre deux fenêtres de la machine hôte).</li>
+<li>Vous pouvez transférer des fichiers de la machine hôte vers la machine virtuelle en faisant un "glisser-déposer" avec la souris d'une fenêtre vers l'autre (comme vous le feriez entre deux fenêtres de la machine hôte). Attention: suite à un bug il se peut que les fichiers transférés depuis la machine hôte vers la machine virtuelle ne se retrouvent pas à l'endroit où vous les avez déposés mais dans le dossier "/tmp/VirtualBox Dropped Files".</li>
 <li>Vous pouvez aussi "copier-coller" du texte d'une machine à l'autre, les "presse-papiers" étant synchronisés.</li>
 </ul>
-<h2>Agencement du clavier</h2>
+<h2>Utilisation avancée</h2>
-<p>Par défaut, la machine est utilisé pour un clavier AZERTY belge. Si votre clavier a une agencement différent des touches, vous pouvez le reconfigurer de la manière suivante:</p>
 <ul>
-<li>Cliquez sur menu en bas à gauche, puis "Centre de contrôle" (en-dessous de "Système"), puis "Clavier" (dans le menu "Hardware"</li>
+<li>Dans la machine virtuelle, le dossier ULB correspond au chemin "/media/ULB", et le dossiers partagés de la machine hôte au chemin "/media/sf_nom_du_dossier".</li>
-<li>Dans l'onglet "Agencements", cliquez sur "Ajouter", sélectionnez l'agencement correspondant à votre clavier et cliquez sur "Ajouter"</li>
-<li>En cliquant en bas à droite de l'écran (à côté de l'heure) sur "be", vous pouvez passer d'un agencement à l'autre</li>
-<li>Si le nouvel agencement est correct, vous pouvez supprimer l'agencement "Belge" pour éviter qu'il ne soit sélectionné.</li>
-</ul>
-Clavier Mac:
-<ul>
-<li>Certains caractères ne sont pas présents sur un clavier AZERTY Mac, comme les accolades.</li>
-<li>Vous pouvez les taper en combinant la touche "alt-option" de droite avec d'autres touches, par exemple "alt-ç" pour "{" (voir <a href="https://fr.wikipedia.org/wiki/AZERTY#/media/File:Belgian_pc_keyboard.svg">ici</a> pour tous les caractères disponibles)
-</li></ul>
-<h2>Avancé</h2>
-<ul>
-<li>Dans la machine virtuelle, le dossier ULB correspond au chemin "/mnt/ULB", et le dossier partagé de la machine hôte au chemin "/mnt/share".</li>
 <li>Le nom d'utilisateur de la machine virtuelle est "student" et le mot de passe "ulb". Cet utilisateur a les droits administrateurs et peut donc utiliser la commande sudo. Ne l'utilisez que si vous savez ce que vous faites!</li>
 </ul>
 <h1>Alternative: installer gcc directement sur votre ordinateur</h1>
 <p>Dans certains cas, vous pourriez préférer travailler directement sur votre système plutôt que passer par une machine virtuelle. Cela pourrait être le cas si vous n'avez pas suffisamment d'espace disque, si votre machine est trop peu puissante pour émuler la machine virtuelle sans ralentissement (cela ne devrait arriver que pour des machines assez anciennes), ou tout simplement si vous ne voyez pas l'intérêt de passer par une machine virtuelle.</p>
-<p>Notez néanmoins que vu la complexité à gérer un parc d'installations hétérogènes, nous ne fournirons du support technique que pour la solution conseillée utilisant la machine virtuelle. Si vous désirez tout de même vous en passer, voici quelques liens pour installer le compilateur gcc, qui est le strict minimum pour pouvoir suivre le cours (la version installée sur la machine virtuelle est gcc 4.8.2, mais toute version relativement récente devrait faire l'affaire).</p>
+<p>Notez néanmoins que vu la complexité à gérer un parc d'installations hétérogène, nous ne fournirons du support technique que pour la solution conseillée utilisant la machine virtuelle. Si vous désirez tout de même vous en passer, voici quelques liens pour installer le compilateur gcc, qui est le strict minimum pour pouvoir suivre le cours (la version installée sur la machine virtuelle est gcc 4.9.2, mais toute version relativement récente devrait faire l'affaire).</p>
-<p>Windows:</p>
+<h4>Windows 10</h4>
+<p>Les dernières versions de Windows 10 permettent d'installer directement un sous-système Linux Ubuntu dans Windows, et c'est sans doute la solution la plus simple pour obtenir un environnement similaire à la machine virtuelle Linux.</p>
+<p>Voici les étapes à suivre</p>
+<ul>
+<li>Vérifiez que votre Windows 10 est à jour
+<ul>
+<li>Menu Windows -&gt; Paramètres (icône "Engrenage") -&gt; Système -&gt; Information Système</li>
+</ul>
+</li>
+<li>Si la version est antérieure à 1607 (juillet 2016), mettez votre système à jour
+<ul>
+<li>Menu Windows -&gt; Paramètres (icône "Engrenage") -&gt; Mise à jour et sécurité -&gt; Rechercher des mises à jour</li>
+</ul>
+</li>
+<li>Installer le sous-système Windows pour Linux
+<ul>
+<li>Menu Windows -&gt; Paramètres (icône "Engrenage") -&gt; Mise à jour et sécurité -&gt; Pour les développeurs -&gt; Cochez "Mode développeur"</li>
+<li>Barre de recherche (icône "Loupe") -&gt; Recherchez "Panneau de configuration" -&gt; Programmes -&gt; Programmes et fonctionnalités -&gt; Activer ou désactiver des fonctionnalités de Windows -&gt; Sous-système Windows pour Linux (bêta)</li>
+<li> Redémarrez votre ordinateur</li>
+<li>Barre de recherche (icône "Loupe") -&gt; Recherchez "bash" -&gt; Tapez "o"</li>
+</ul>
+</li>
+<li> Lancez "Bash on Ubuntu on Windows" et installez les paquets nécessaires
+<ul>
+<li>Barre de recherche (icône "Loupe") -&gt; Recherchez "Bash on Ubuntu on Windows"</li>
+<li> Tapez les commandes suivantes dans le terminal:<br>
+apt-get update<br>
+apt-get upgrade<br>
+apt-get install build-essential openjdk-8-jdk gnuplot-x11 freeglut3 freeglut3-dev libxmlrpc-c* libboost-dev<br>
+echo "export DISPLAY=:0.0" &gt;&gt; ~/.bashrc
+</li>
+</ul>
+</li><li>Certaines séances nécessitent un serveur X pour afficher des fenêtre graphiques. Une solution est d'installer <a href="https://sourceforge.net/projects/xming/" target="_blank">Xming</a>
+</li>
+</ul>
+<p>A partir de maintenant, vous pouvez utiliser gcc directement dans ce terminal. Notez que votre dossier personnel Windows se trouve au chemin suivant: /mnt/c/Users/"Votre nom d'utilisateur Windows"</p>
+<p>Pour éditer vos fichiers de code, vous pouvez installer Geany, le même programme qui est fourni avec la machine virtuelle: <a href="http://www.geany.org/Download/Releases#windowsBinaries" target="_blank">Geany for Windows</a></p>
+<p>Veuillez néanmoins noter que la version Windows n'inclut pas de terminal, vous devez donc toujours passer par "Bash on Ubuntu on Windows" pour compiler et exécuter votre programme.</p>
+<p></p>
+<h4>Autres versions de Windows</h4>
+Les solutions suivantes permettent d'installer gcc sur toute version de Windows:
 <ul>
 <li><a href="http://www.mingw.org/" target="_blank">MinGW</a></li>
 <li><a href="http://www.cygwin.com/" target="_blank">Cygwin</a> (installer le paquet "gcc" dans la catégorie "devel")</li>
 </ul>
-<p>Mac OS:</p>
+<h4>Mac OS</h4>
 <ul>
 <li><a href="http://osxdaily.com/2014/02/12/install-command-line-tools-mac-os-x/" target="_blank">Xcode Command Line Tools</a>&nbsp;(OS X &gt;=10.9 "Mavericks")</li>
 <li><a href="https://developer.apple.com/xcode/downloads/" target="_blank">Xcode complet</a>&nbsp;(OS X &lt;=10.8, nécessite ensuite d'installer les "command line tools")</li>
-<li><a href="https://www.macports.org/" target="_blank">Macports</a>&nbsp;(installer le port gcc48)</li>
+<li><a href="https://www.macports.org/" target="_blank">Macports</a>&nbsp;(installer le port gcc49)</li>
 </ul>
-<p>Linux:</p>
+<p>Pour éditer vos fichiers de code, vous pouvez installer Geany, le même programme qui est fourni avec la machine virtuelle: <a href="http://www.geany.org/Download/Releases#macOSXBinaries" target="_blank">Geany for Mac OS</a></p>
+<h4>Linux</h4>
 <ul>
 <li>Toutes les distributions proposent des paquets contenant gcc.</li>
@@ Line 159: / Line 221: @@
 </li>
 </ul>
 </html>