Infinitesimal loops 3