Comment verifier que un ellement apartien à une liste en erlang ?

app.erl

% Spéc et implementation d'une fonction d'appartenance d'un élément à une liste
% app(E,L) renvoie vrai si E appartient à L
%
% app(X,L) vrai ssi X appartient à L
%
% Exemple :
% app(1,[1,2,3,4]) = true
% app(5,[1,2,3,4]) = false

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

% 2) L /= [] : L = [Pr|Fin]
% a) X = Pr : vrai
app(X,[X|_])->true;

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