> It is strange that libotf doesn't take this shortcut, although I'm
> quite sure a glyph for à is available both in DejaVu Sans Mono and in
> Source Code Pro.

Indeed it is. If I type out the actual letter (grave a) it displays fine.