Man pages matching name astk in section 1:

astk.1.en

debian 10 / code-aster-gui