ajout de g++ 4.8 pour travis