Coffee leaf rust (CLR) is one of the main diseases that affect coffee plantations worldwide. It is caused by the fungus Hemileia vastatrix. Damages induce severe yield losses (up to 70%). Its control mainly relies on cultural practices and fungicides, the latter having harmful ecological impact and important cost. Our goal is to understand the propagation of this fungus in order to propose a biocontrol solution, based on a mycoparasite that inhibits H. vastatrix reproduction. We develop and explore a spatio-temporal model that describes CLR propagation in a coffee plantation during the rainy and dry seasons. We show the existence of a solution and prove that there exists two threshold parameters, the dry and rainy basic reproduction numbers, that determine the stability of the equilibria for the dry and rainy season subsystems. To illustrate these theoretical results, numerical simulations are performed, using a non-standard finite method to integrate the pest model. We also numerically investigate the biocontrol impact. We determine its efficiency threshold in order to ensure CLR eradication.