L'analyse symbolique en tant qu'outil d'aide à la conception de circuits intégrés analogiques