calcul symbolique de Heaviside