International BioNTech rachète InstaDeep pour 408 millions d’euros, un deal record dans l’IA et le machine learning