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

"faire une bosse ou enfoncer," vers 1400, dérivé de in (adv.) + dent (v.). Étymologiquement différent de indent (v.1), mais perçu comme identique.

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é

    Tendances de " indentation "

    Adapté de books.google.com/ngrams/. Les ngrammes sont probablement peu fiables.

    Partager "indentation"

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

    Publicité
    Tendances
    Publicité