I would like to get over an API call the list of the members having a given badge.

I checked the available API endpoints, but did not find something talking about "badges". Did I miss something?

There's no API for that. Either IPS adds it or you make a custom application to implement the API yourself.