Adapted and completed documentation.