Les méthodes du calcul symbolique — Charles Blanc