Een operatie voor de hernia inguino-cruralis