Technical Report # 4 Tilouine, J. Kummer's criterion over $\Lambda$ and Hida's Congruence Module. (August 1987);