<div class="gmail_quote">Sorry, forget the noise: I took your ext-generic-function... name for a typo of ext:generic-function..., but obviously it is not</div><br clear="all"><div>Juanjo</div><div><br></div>-- <br>Instituto de Física Fundamental, CSIC<br>
c/ Serrano, 113b, Madrid 28006 (Spain) <br><a href="http://juanjose.garciaripoll.googlepages.com" target="_blank">http://juanjose.garciaripoll.googlepages.com</a><br>