MASA : une architecture de processeur multithread pour le calcul symbolique parallèle | Synapse