Théorie des nœuds et calcul formel Jean-Philippe Rolin (1989) Publications mathématiques et informatique de Rennes