public static int lireInt() { 
    
    /* antecedent : -
     * consequent : retourne le nombre entier lu, a partir du
     *              curseur. La fin du nombre est determinee par un
     *              separateur (voir ci-haut). Le separateur est lu.
     *              Le nombre peut commencer par - (negatif) mais ne
     *              peut commencer par +.
     */
    
        return Integer.parseInt( lireMot() );
        
    } // lireInt

    public static int lireIntLn() { 
    
    /* antecedent : -
     * consequent : retourne le nombre entier lu, a partir du
     *              curseur. La fin du nombre est determinee par un
     *              separateur (voir ci-haut).
     *              Le nombre peut commencer par - (negatif) mais ne
     *              peut commencer par +.
     *              Le reste de la ligne, s'il y a lieu, est lu et ignore.
     */
    
        int intLu;
        intLu = Integer.parseInt( lireMot() );
        if ( ! finDeLigneLue ) {
            lireFinLigne();
        }
        return intLu;
        
    } // lireIntLn