Operation return
MiseEnVeille (argtype argname = default), in Class
Lecteur de badges
Protocol
Qualification
Exceptions
Size
Time
Concurrency
Sequential
Export Control
PublicAccess
Preconditions
Postconditions
Semantics