Preuve des conjectures de Tate et de Shafarevitch
Séminaire Bourbaki : volume 1983/84, exposés 615-632, Astérisque, no. 121-122 (1985), Exposé no. 616, 17 p. 
@incollection{SB_1983-1984__26__25_0,
     author = {Deligne, Pierre},
     title = {Preuve des conjectures de Tate et de Shafarevitch},
     booktitle = {S\'eminaire Bourbaki : volume 1983/84, expos\'es 615-632},
     author = {Collectif},
     series = {Ast\'erisque},
     note = {talk:616},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {121-122},
     year = {1985},
     zbl = {0591.14026},
     mrnumber = {768952},
     language = {fr},
     url = {http://www.numdam.org/item/SB_1983-1984__26__25_0/}
}
Deligne, Pierre. Preuve des conjectures de Tate et de Shafarevitch, dans Séminaire Bourbaki : volume 1983/84, exposés 615-632, Astérisque, no. 121-122 (1985), Exposé no. 616, 17 p. http://www.numdam.org/item/SB_1983-1984__26__25_0/

[1] A. Ash, D. Mumford, M. Rapoport and Y. Tai - Smooth compactification of locally symmetric varieties, Math. Sci. Press, Brookline, 1975. | MR 457437 | Zbl 0334.14007

[2] G. Faltings - Endlichkeitssätze für abelsche Varietäten über Zahlkörpern, Inv. Math. 73(1983), 349-366. | MR 718935 | Zbl 0588.14026

[3] M. Raynaud - Schémas en groupes de type (p,...,p) , Bull. Soc. Math. France 102 (1974), 241-280. | Numdam | MR 419467 | Zbl 0325.14020

[4] J. Tate - p-divisible groups, Proc. of a conf. on local fields (Driebergen 1966), 158-183, Springer-Verlag, New York, 1967. | MR 231827 | Zbl 0157.27601