awk ' BEGIN {
nli='$1'
}
{ 
 ligne[NR]=$0 
}
END {
  diam=substr(ligne[20],6,3)+0
  if(diam <= nli) {
    nom = substr(ligne[3],2,8)
    num = substr(ligne[4],2,8)
    alf = substr(ligne[7],2,8)
    del = substr(ligne[8],3,7)
    printf"%s%s %s %s %3d\n",nom,num,alf,del,diam
 }
} '