Je viens de faire évoluer le driver la carte graphique Intel HD4000 avec ce que j'ai trouvé sur le net soit :
Date du pilote : 30/09/2014
Version pilote : 10.18.10.3958

Le problème est TOUJOURS PRESENT !!!