' Blaise Pascal, précurseur de l'informatique verte ? '