Gentle introduction to rigorous Renormalization Group: a worked fermionic example