Thoma Bravo s'empare de Venafi, qui franchit le milliard de dollars de valorisation