Recherche:

En Java il y a la notion d'arité :

une méthode possède un nombre fixe et défini d'arguments
lorsqu'on appelle cette méthode il faut lui fournir exactement ce nombre d'arguments, sinon il y a...

Le mot-clé function ... est une sorte de raccourci pour fun v -> match v with ... où la variable v devient anonyme.

On pourrait aussi écrire :

let rec filtrer p = function
| [] -> []
|...