Pour changer la taille des coches dans les cotations.
Il faut créer un nouveau type de pointe de flèche
Menu paramètre / annotation / pointe de flèche
que vous utiliserez ensuite dans votre type de cote.