let minus(s) =
        if pr(s) <= `A`  &  pr(s) >= `Z`
        then char_of_int(int_of_char(pr(s)) + 32)
        else
            if dr(s) <= `A`  &  dr(s) >= `Z`
            then char_of_int(int_of_char(dr(s)) + 32)
            else s  ;;


>           else s  ;;
>                ^
Cette expression est de type string,
mais est utilisée avec le type char.