diff -r 000000000000 -r 1397c2bfefa2 struct.dtd
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/struct.dtd	Mon Dec 26 19:21:22 2005 -0500
@@ -0,0 +1,6 @@
+<!ENTITY STRUCTDTDREVISION "$RCSfile:">
+
+<!-- Quelques abbréviations utiles -->
+<!ENTITY v "<subscript>v</subscript>">
+<!ENTITY b "<subscript>b</subscript>">
+<!ENTITY r "<subscript>r</subscript>">