Libadalang: Analyzing Rust sources with LKQL at AdaCore — Paris, France