Publicité

Signification de indentation

indentation : enfoncement; creux; marque

Étymologie et Histoire de indentation

indentation(n.1)

"couper, entailler, incision," 1728, concernant les marges ou les bords, forme étendue de indent (n.).

indentation(n.2)

"action de créer une marque ou une impression ; petite cavité ou dépression, léger creux," 1847, dérivé de indent (v.2).

Entrées associées

"coupure ou entaille dans une marge," 1590s, dérivé de indent (v.1). Une supposée utilisation antérieure en tant que nom pour désigner "un accord écrit" (fin du 15e siècle) est décrite dans The Middle English Compendium comme "abréviation scribale de endenture."

En 1763, le mot a été formé de manière irrégulière à partir de indent (v.1). Il pourrait être utile s'il permettait de distinguer, avec indentation, les deux sens de ce mot (relatifs aux encoches marginales et aux bosses), mais indention est également utilisé pour les deux.

    Publicité

    Partager "indentation"

    Traduction générée par IA. Pour le texte original, cliquez ici: Etymology, origin and meaning of indentation

    Publicité
    Tendances
    Publicité