Tests: better font for OCR in svghmi_basic

2023-10-02, Edouard Tisserant