unitsize(1cm); 

dot((0,0),red); 

real w=linewidth(); 
dot((1,0),linewidth(6w)+red);  // taille de point par défaut

dot((2,0),linewidth(10w)); 
dot((3,0),linewidth(15w));
dot((4,0),linewidth(20w)); 

// Ajout d'un cadre, distant des bords de l'image de 3mm
shipout(bbox(5mm,white));

/* remarque : on peut changer la taille de tous les points
   d'une figure en écrivant :
   dotfactor=n;
*/