Numalis, expert dans la validation des intelligences artificielles, lève 5 millions d'euros