question du soir : j'ai fermé le putty qui avait servi à lancer le make... est ce qu'il va aller jusqu'au bout malgré tout ou s'arrêter quand le process CC en cours (alloc.c si mes souvenirs sont bons) aura fini ???