File lib/pref/graf-win.prf

This file describes wich "graf-xxx.prf" file to chose according to wich graphics are used (old, new or D. Gervais).

Modifications:

• Line 18 to 20: if graphics are Gervais, use file "graf-gervais.prf"