Infinitesimal loops