#!/bin/bash
# detecte les elements contenant des coordonnees avec trop de decimales
if [ "$1" = "--names-only" ]; then
	GREP_OPTIONS="-lE"
else
	GREP_OPTIONS="-HnE"
fi

find . -type f -name "*.elmt" -exec grep ${GREP_OPTIONS} '\.[0-9]{5}' '{}' \;