Comment compter le nombre d'occurance d'une élément dans une liste en Elrang ?

nbElement.erl

% Spéc et implementation d'une fonction comptant le nombre d'occurences d'un élément dans une liste
% nb(E,L) renvoie le nombre d'occurences de E dans L
%
% Spéc :
% nb(E,L) renvoie le nombre d'occurences de E dans L, liste. 
%
% Exemple :
% nb(1,[2,1,3,1]) = 2
% nb(5,[1,2,3,4]) = 0

% Analyse sur L : 2 cas
% 1) L = []
nb(_,[])->0;

% 2) L =/= [] : L = [Pr|Fin]
% a) X = Pr : vrai
nb(X,[X|Fin])->1+nb(X,Fin);

% b) X =/=Pr
nb(X,[Pr|Fin]) when X=/=Pr -> nb(X,Fin).