En subgrupos discretos libres de Diff (I)