Nan, c'est vraiment bizarre... En tout cas même si c'était effectivement un bug de GTC (ce qui serait assez étonnant, étant donné que je n'ai jamais vu de segfault sur aucune plateforme - et si ça arrivait pour un main vide, ça se saurait), il y a au moins un pb du côté d'AMS... (pb avec les certificats ?)

En tout cas tu es le seul à qui ça soit arrivé