pointerolle — French Dictionary

pointerolle

Definitions and examples are in French. This entry has no translations in your interface language yet.

Pronunciations
  • /pwɛ̃.tʁɔl/

Noun

  1. Petit marteau pointu d’un côté et plat de l’autre, dont on se servait dans les mines pour entailler la roche, en frappant la face plane avec une masse plus lourde.

    Usage
    • Dated
    Examples
    More examples (3)

    La pointerolle est un outil de fer aciéré ou entièrement en acier, terminé d’un côté par une pointe en pyramide quadrangulaire, de l’autre par une face plane. Au milieu est un trou rectangulaire destiné à recevoir un manche en bois très court, qui n’est pas fortement assujetti, et qui ne sert qu’à diriger l’outil.

    [Ce matériel] témoigne d’une occupation plus intense des lieux entre le XIIIe s. et le XVe s. Son spectre couvre celui qu’on peut s’attendre à trouver sur un habitat castral, tout en y ajoutant des objets spécifiques à l’activité minière comme les pointerolles.

    Les traces de travail à la pointerolle laissées dans le réseau démontrent toute la variabilité dans la mise en œuvre d’un même outil, variabilité autant associée aux différences typologiques de la pointerolle qu’à celles du savoir-faire des mineurs suivant les époques.

  2. Barre d'acier octogonale, pointue à une extrémité, sur laquelle on frappe pour forer un trou en maçonnerie, taille de pierre.

    Examples
    More examples (1)

    Granit, c’est le son de la pointe ou du ciseau cognant la pierre. Comme un autre battement du cœur, une volupté enivrante germe doucement de la répétition régulière des coups de massette sur la pointerolle à la rencontre du granit. La forme attendue de la sculpture en devenir naît doucement, toujours surprenante et légèrement décalée par rapport à ce que l’esprit et le crayon sur la page de carnet avaient anticipé.

    Les pointerolles de carreleur sont plus fines que celles de maçon.

  3. Accessoire de marteau-piqueur comparable à l’outil manuel dans sa forme et sa fonction.

Word forms
pointerollespointrolle

Code Formatters

Format and beautify Java, Python, JavaScript, JSON, HTML and more; adjust indentation, spacing and line breaks.

More tools

Audio Editing & Effects

Trim, join or split recordings, remove silence or noise, and adjust volume, speed, pitch or channels.

More tools

Spreadsheet Tools

Open and edit CSV or Excel sheets, format tabular text, and convert CSV to Excel or SQL.

More tools

Markdown Tools

Write and preview Markdown, render Mermaid diagrams, and convert Markdown, HTML and tables between formats.

Text Tools

Compare passages, count words and keywords, sort or replace lines, and view DOCX text.

Dictionaries

Look up Chinese meanings, synonyms and antonyms, or find IPA pronunciations in multiple languages.

Audio Conversion & Playback

Convert between MP3, WAV, FLAC and more, play audio or raw PCM, and inspect or edit audio metadata.

JSON & Data Tools

Inspect, compare and validate JSON; test JSONPath expressions, or convert data to CSV, YAML and XML.

More tools

Speech Tools

Transcribe audio to text, generate speech from text, or record your voice in the browser.

Video Tools

Convert and compress video, trim or join clips, resize frames, and extract audio.

More tools

Video Playback & Recording

Play local or streaming video, record your screen or camera, and use your camera as an online mirror.

PDF Tools

Compress or merge PDFs, split and rearrange pages, convert pages to images, and view or compare documents.

More tools

Image Tools

Convert image formats, resize or crop photos, compress files, compare pictures, and extract text with OCR.

More tools

Image Creation

Capture and beautify screenshots, turn text into images or GIFs, draw on a whiteboard, and create word clouds or favicons.

More tools

Subtitle Tools

Edit SRT or VTT captions with a video preview, shift timing, convert formats, and manage subtitle tracks.

More tools

Archive Tools

Open ZIP, 7Z, RAR or TAR files, extract selected contents, and create new archives with optional ZIP/7Z passwords.

Encoders | Decoders

Encode and decode Base64 or Base32, escape URLs, HTML and Unicode text, and inspect JWT contents.

More tools

Number Tools

Convert number bases and values between binary, decimal and hex; turn numbers into words or text into binary.

Calculators

Work out percentages and fractions, summarize statistics, and calculate grades, discounts or aspect ratios.

More tools

Time Tools

Show an online clock, run a countdown or stopwatch, and calculate dates, ages or time-zone differences.

More tools

Network Tools

Check your IP and IPv6 connection, inspect HTTP requests or HAR files, and calculate CIDR address ranges.

Unit Conversions

Convert length, weight, temperature, data storage and other units.

Color Tools

Convert HEX, RGB and HSL values, extract colors from an image, check contrast, or test your display with solid colors.

QR Codes & Barcodes

Generate and scan QR codes or barcodes, including QR codes for links and Wi-Fi networks.

Developer & Security Tools

Generate hashes, UUIDs and passwords, test regular expressions, create URL slugs and check file permissions.

More tools

Utility Tools

Check screen resolution and refresh rate, measure with a screen ruler, test keys, or read from a teleprompter.

More tools

Games

2048, Minesweeper, Sudoku, Gomoku, Tank Battle

More tools