Gentle introduction to rigorous Renormalization Group : a worked fermionic example