Adaptador Maxima para ECL
