Man pages matching name petit in section 1:

petit.1.en

debian 10 / petit