Quand utiliser les deux-points
Les deux-points : introduisent quelque chose qui explique ou énumère ce qui précède : « Apportez trois choses : un stylo, du papier et une gomme. » Ils séparent aussi les heures des minutes (9:45), le chapitre du verset (Jean 3:16), les titres des sous-titres, et les deux côtés d'un rapport (3:1). En français, on place une espace avant les deux-points.
Dans le code, les deux-points sont partout. CSS écrit color: red, JSON associe des clés à des valeurs ("name": "Ana"), Python termine une ligne par deux-points avant un bloc indenté, et :: est l'opérateur de portée en C++ et PHP.
Sosies des deux-points et quand ils aident
Windows n'autorise pas les deux-points dans les noms de fichiers (ni \ / * ? " < > |) : ceux qui veulent un nom comme « Partie 1 : Intro.docx » collent donc à la place la lettre modificatrice deux-points ꞉. Elle a le même aspect mais compte comme un caractère de type lettre, donc Windows l'accepte. N'utilisez-la que pour des noms que les gens lisent ; dans le code, les URL et les heures que les logiciels doivent comprendre, seuls les deux-points ordinaires fonctionnent.
Le signe de rapport ∶ est les deux-points mathématiquement corrects pour les rapports comme 16∶9, avec un espacement équilibré. Le ： pleine chasse est utilisé dans le texte chinois et japonais, et la marque de longueur API ː (deux petits triangles) indique les voyelles longues dans les guides de prononciation, comme dans /biːt/. Pour trois ou quatre points empilés verticalement, comme ⁝ et ⁞, consultez la page symbole point ; le triangle de points ∴ a sa propre page symbole donc.
Comment taper des deux-points et des émoticônes à deux-points
Sur un clavier américain, les deux-points s'obtiennent avec Shift + ;, la touche à droite de L. Avec les codes Alt, maintenez Alt et tapez 58 sur le pavé numérique. Sur téléphone, ils se trouvent sur le clavier 123 ou ?123. Sur un clavier AZERTY français, ils s'obtiennent avec la touche : sans Maj, à côté de la barre d'espace.
Les émoticônes à deux-points remontent à 1982, quand l'informaticien Scott Fahlman a proposé :-) et :-( pour marquer les blagues sur un forum universitaire. De nombreuses applications transforment aujourd'hui automatiquement un texte comme :) en émoji, et dans Discord et Slack, taper deux-points suivis d'un nom, comme :heart:, ouvre le sélecteur d'émojis. Pour plus de visages en texte, consultez les kaomojis.