Progresser en calcul de Franck Attelan