Pour Ubuntu 12.04, la façon la plus simple pour avoir gcc 4.7 est d'utiliser le dépot toolchain. Maintenant, j'ai eu quelque soucis avec cette procédure (qui a fichu le bazar dans certains fichiers...