Conté: Frontmatter -- Contents -- Preface -- Acknowledgments -- I. Introduction and the general scheme -- II. Forcing relation and Aubry-Mather type -- III. Proving forcing equivalence -- IV. Supplementary topics -- Appendix: Notations -- References.