– A propos du logiciel Sine Qua Non