Video Portrait of Georges Gonthier, Principal Researcher and winner of the 2011 EADS Foundation Grand Prize in Computer Science.