Existe-t-il un ppa pour gcc4.7 ?

Pas de PPA nécessaire. Il y a gcc-snapshot dans universe . Cela inclut libstdc++ et tout le reste, mais tout est installé sous le nom de /usr/lib/gcc-snapshot .

Bien sûr, il ne s'agit que de la version 4.7 jusqu'à ce que le développement de la version 4.8 commence dans quelques mois, auquel moment je m'attendrais à ce qu'il y ait un paquet gcc-4.7, bien que je n'en sois pas sûr.