Combien de lignes contiennent le mot «file» dans la page de man de syst ?