Given the complexity of the dynamics of a plasma, reductions are needed. The Hamiltonian framework offers various ways to carry out such reductions. I will introduce some of these methods by considering in particular the example of gyrokinetics, which is a kinetic model for plasmas in a strong magnetic field.