remove all references to proxy in installation guide, refer to Makefile instead of bash script for Unix systems
v1.3.5 * Correction de bugs * Ajout d'options * Couleur de logos
Bugfixes, inner and outer headers exchanged
Package wrapped up in a .dtx file, new options
Bugfixes and redimensionning the logos
Added fancysections option