  One proves a Beilinson-Bernstein theorem in the context of arithmetic
D-modules introduced by Berthelot, for flag varieties. This generalizes in the
arithmetic context previous results of Brylinski-Kashiwara and
Beilinson-Bernstein in the complex case.
