Qu’est ce qu’un fichier desktop.ini, à quoi il sert et comment s’en servir pour personnaliser des dossiers ? Voilà ce que nous avons vu ce jeudi, peu de complexité mais ces fichiers présents un peu partout sur le PC interpellent souvent et il était intéressant de bien expliquer leur utilité. Nous avons vu comment personnaliser l’apparence des icones de dossiers et cela va être mis à profit par les participants.