Comment trouver le minimum d'une liste en Erlang ?

mini.erl

% Spec : mini/1
% mini(L) renvoie le minimum de L
%
% Exemple :
% mini([1,2,3]) = 1
% mini([3,1,2]) = 1

% Analyse
% sur L : 2 cas
% 1) L = [] : le minimum non défini (Pas de clause pour le cas 1)
% 2) L =/= [] : L = [Pr|Fin]
% Soit M le minimum de Fin (M = mini(Fin)
mini([])->false;
mini([Pr|Fin])->
    M = mini(Fin),
    case Pr<M of
        true->Pr
        false->M
     end.

% Réaliser mini/1 sans utiliser le case.
% Introduction d'un nouvelle fonction mini/2

% Spec
% mini(L,X) est le minimum entre X et le Minimum de L

mini([],X)->
    X;
mini([Pr|Liste],X) when X<Pr ->
    mini(Liste,X);
mini([Pr|Liste],X) when X>=Pr ->
    mini(Liste,Pr);