A propos des préférences dans Diver 29 octobre 2012 Cette article donne des informations sur le fichier diver.ini Astuces Diver, préférences
