An integrable semi-discrete Degasperis–Procesi equation. (19th April 2017)