Le langage des gractes et son usage fondamental en algèbre en logique et dans la théorie des bases de données relationnelles