Can you trust your GNN? Certifiable robustness of machine learning for graphs - Naver Labs Europe